home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 4 / Apprentice-Release4.iso / Languages / Caml Light 0.7 / examples / demonstr / Makefile < prev    next >
Encoding:
Makefile  |  1995-06-18  |  409 b   |  22 lines  |  [TEXT/MPS ]
  1. all ƒ demonstr
  2.  
  3. demonstr ƒ prop.zo lexuniv.zo asynt.zo demo.zo
  4.     camlc -W prop.zo lexuniv.zo asynt.zo demo.zo -o demonstr
  5.  
  6. clean ƒ
  7.     delete -i demonstr
  8.     delete -i ≈.z[io] ||echo
  9.     delete -i ≈.zix ||echo
  10.  
  11. .zi ƒ .mli
  12.     camlc -W -c {default}.mli
  13.  
  14. .zo ƒ .ml
  15.     camlc -W -c {default}.ml
  16.  
  17. asynt.zi ƒ prop.zi 
  18. asynt.zo ƒ asynt.zi prop.zi lexuniv.zi 
  19. demo.zo ƒ asynt.zi prop.zi 
  20. lexuniv.zo ƒ lexuniv.zi 
  21. prop.zo ƒ prop.zi 
  22.